Add a user_time field.
authorMatthias Clasen <mclasen@redhat.com>
Mon, 23 Aug 2004 17:10:34 +0000 (17:10 +0000)
committerMatthias Clasen <matthiasc@src.gnome.org>
Mon, 23 Aug 2004 17:10:34 +0000 (17:10 +0000)
commita9585748ec7caa48700d00ab90a00dc0c262d6e6
tree2a7a1459b540551c80fbdc0313c528b423c6d439
parent7d71fa25941d431a503979c4230418522a6be1b5
Add a user_time field.

2004-08-23  Matthias Clasen  <mclasen@redhat.com>

* gdk/x11/gdkwindow-x11.h (struct _GdkToplevelX11): Add a
user_time field.

* gdk/x11/gdkwindow-x11.c (gdk_x11_window_set_user_time): Update
toplevel->user_time.
(show_window_internal): Update the user time when re-mapping a
toplevel window.  (#150502, Elijah Newren)
ChangeLog
ChangeLog.pre-2-10
ChangeLog.pre-2-6
ChangeLog.pre-2-8
gdk/x11/gdkwindow-x11.c
gdk/x11/gdkwindow-x11.h